Bibtex of SAT / Boolean CSP

@inproceedings{Creignou2011, 
     address = "Ann Arbor, MI, USA,", 
     author = "Creignou, Nadia and Olive, Fr\'{e}d\'{e}ric and Schmidt, Johannes", 
     booktitle = "SAT 2011: the 14th International Conference Theory and Applications of Satisfiability Testing", 
     doi = "10.1007/978-3-642-21581-0_11", 
     editor = "Sakallah, Karem A. and Simon, Laurent", 
     keyword = "csp,enumeration,satisfiability", 
     link = "http://link.springer.com/chapter/10.1007/978-3-642-21581-0_11", 
     month = "jun", 
     pages = "120--133", 
     publisher = "Springer Berlin Heidelberg", 
     series = "Lecture Notes in Computer Science", 
     title = "Enumerating all solutions of a Boolean CSP by non-decreasing weight", 
     uri = "http://link.springer.com/chapter/10.1007/978-3-642-21581-0_11", 
     volume = "6695", 
     year = "2011", 
}